//
//  constant.cpp
//  ltlbmc
//
//  Created by GD Huang on 7/5/12.
//  Copyright (c) 2012 __MyCompanyName__. All rights reserved.
//

#include <iostream>
#include "constant.h"


namespace cilast {
    int constant::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
    
    int CInt64::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
    
    int CStr::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
    
    int CWStr::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
    
    int CChr::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
    
    int CReal::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
    
    int CEnum::accept(astVisitor* visitor) {
        return visitor->visit(this);
    }
}